<?php

class WorkflowDesignTimeException extends WorkflowException {
  
}